Genmitsu 3018 prover